$\forall$$D$:dsys\{i:l\}. d{-}feasible\{i:l\}($D$) $\in$ $\mathbb{P}$\{i'\}